/LMAR=0/XLINE=3/FONT#0=BASL30/FONT#1=BASB30/FONT#2=NGR25/FONT#3=BASI30/FONT#4=BDR40/FONT#5=NGB25/FONT#6=NGR20/FONT#7=GRFX35/FONT#8=MS25/FONT#9=SUP/FONT#10=SUB



␈↓ α,␈↓On␈α⊂the␈α⊂next␈α⊂page␈α⊂is␈α⊂a␈α⊂graph␈α⊂of␈α⊂the␈α⊂same␈α⊂"best␈α⊂run"␈α⊂which␈α⊂AM␈α⊂executed.␈α⊃ The␈α⊂nodes
␈↓ α,␈↓are␈αconcepts,␈αand␈αthe␈α
links␈αare␈αactions␈αwhich␈αAM␈α
performed.␈α Labels␈αon␈αthe␈α
links␈αindicate
␈↓ α,␈↓when␈αeach␈αaction␈αwas␈αtaken,␈αso␈αthe␈αreader␈αmay␈αobserve␈αhow␈αAM␈αjumped␈αaround.␈αIt␈αis␈αalso
␈↓ α,␈↓easy␈α∩to␈α∩perceive␈α∩from␈α∩the␈α∩graph␈α∩which␈α∩paths␈α∩of␈α∩development␈α∩were␈α∩abandoned,␈α⊃which
␈↓ α,␈↓concepts ignored, and which ones concentrated upon.

␈↓ α,␈↓In more detail, here is how to read the graph:

␈↓ α,␈↓<< 1 para.>


␈↓ α,␈↓α␈↓ β<␈↓ ∧\␈↓ ¬|␈↓ π≤Coalesce␈↓#
70␈↓#␈α`␈↓#v76␈↓#



␈↓"␈↓ α,␈↓αSelf-Compose␈↓#
79␈↓# Self-insert␈↓#
␈↓ε␈↓#
131␈↓α␈↓#
␈↓#␈αP␈↓#v␈↓ε␈↓#v132␈↓α␈↓#v␈↓# Double␈↓#
75␈↓# Square␈↓#
78␈↓#␈α`␈↓#v82␈↓# Coa-Repeat2␈↓#
128␈↓#␈αP␈↓#v129␈↓# Coa-Join2 ␈↓ ∨Self-
␈↓"␈↓ α,␈↓ 
M␈↓αDelete␈↓#
71␈↓#␈α`␈↓#v72␈↓#
␈↓"␈↓ α,␈↓α␈↓ 
r␈↓¬≡␈↓αIdentity

␈↓"␈↓ α,␈↓α␈↓ β<Self-Set-Union␈↓#
221␈↓#␈αP␈↓#v222␈↓# Self-Bag-Union␈↓#
185␈↓#␈αP␈↓#v186␈↓# Self-Union␈↓#
221␈↓#␈αP␈↓#v222␈↓# Self-Insert␈↓#
131␈↓#␈αP␈↓#v132␈↓#
␈↓"␈↓ α,␈↓α␈↓ 	|Self-Member␈↓#
73␈↓#␈α`␈↓#v74␈↓#
␈↓"␈↓ α,␈↓α␈↓ β<␈↓¬≡␈↓αIdentity ␈↓ 
G␈↓¬≡␈↓αConstant-F